$\forall$${\it es}$:event\_system\{i:l\}, $e$:es{-}E(${\it es}$).
\\[0ex]($\uparrow$es{-}isrcv(${\it es}$; $e$)) $\Rightarrow$ qle(es{-}time(${\it es}$; es{-}sender(${\it es}$; $e$)); es{-}time(${\it es}$; $e$))